Botana, Francisco J: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Development of automatic reasoning tools in GeoGebra

Abánades, Miguel, Botana, Francisco, Kovács, Zoltán, Recio, Tomás, Sólyom-Gecse, Csilla

Journal:

ACM Communications in Computer Algebra

Year:

2016

Language:

english

File:

PDF, 661 KB

english, 2016

2

Automated Theorem Proving in GeoGebra: Current Achievements

Botana, Francisco, Hohenwarter, Markus, Janičić, Predrag, Kovács, Zoltán, Petrović, Ivan, Recio, Tomás, Weitzhofer, Simon

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 1.18 MB

english, 2015

3

An algebraic taxonomy for locus computation in dynamic geometry

Abánades, Miguel Á., Botana, Francisco, Montes, Antonio, Recio, Tomás

Journal:

Computer-Aided Design

Year:

2014

Language:

english

File:

PDF, 1.48 MB

english, 2014

4

Concepto de Lugar Geométrico. Génesis de Utilización Personal y Profesional con Distintas Herramientas

Gómez-Chacón, Inés M., Botana, Francisco, Escribano, Jesús, Abánades, Miguel Á.

Journal:

Bolema Boletim de Educação Matemática

Year:

2016

File:

PDF, 676 KB

2016

5

[Lecture Notes in Computer Science] Automated Deduction in Geometry Volume 9201 || The Relation Tool in GeoGebra 5

Botana, Francisco, Quaresma, Pedro

Year:

2015

Language:

english

File:

PDF, 2.67 MB

english, 2015

6

[Lecture Notes in Computer Science] Automated Deduction in Geometry Volume 9201 ||

Botana, Francisco, Quaresma, Pedro

Year:

2015

Language:

english

File:

PDF, 10.80 MB

english, 2015

7

Microstructure and Mechanical Properties of Ti5553 Butt Welds Performed by LBW under Conduction Regime

Sánchez-Amaya, Jose, Pasang, Timotius, Amaya-Vazquez, Margarita, Lopez-Castro, Juan, Churiaque, Cristina, Tao, Yuan, Botana Pedemonte, Francisco

Journal:

Year:

2017

Language:

english

File:

PDF, 11.31 MB

english, 2017

8

Adhesive behaviour of carbon fibre reinforced plastic panels manufactured using woven and unidirectional tape after ultraviolet laser surface treatment

Botana-Galvín, Marta, Blanco, Ginesa, González-Rovira, Leandro, Rodríguez, Miguel A, Botana, Francisco J

Journal:

Journal of Composite Materials

Year:

2017

Language:

english

File:

PDF, 946 KB

english, 2017

9

Effects of Laser Processing Parameters on Texturized Layer Development and Surface Features of Ti6Al4V Alloy Samples

Vázquez Martínez, Juan, Salguero Gómez, Jorge, Batista Ponce, Moises, Botana Pedemonte, Francisco

Journal:

Year:

2017

Language:

english

File:

PDF, 9.82 MB

english, 2017

10

Special issue on dynamic geometry and automated reasoning

Botana, Francisco, Kovács, Zoltán, Recio, Tomas

Journal:

Journal of Symbolic Computation

Year:

2020

Language:

english

File:

PDF, 148 KB

english, 2020

11

On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

Botana, Francisco, Recio, Tomas

Journal:

Mathematics in Computer Science

Year:

2016

Language:

english

File:

PDF, 1016 KB

english, 2016

12

SHAPE: a machine learning system from examples

Francisco Botana, Antonio Bahamonde

Journal:

International Journal of Human-Computer Studies

Year:

1995

File:

PDF, 504 KB

1995

13

Computing envelopes in dynamic geometry environments

Botana, Francisco, Recio, Tomas

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 2.72 MB

english, 2017

14

Adding remote computational capabilities to Dynamic Geometry Systems

Jesús Escribano, Francisco Botana, Miguel A. Abánades

Journal:

Mathematics and Computers in Simulation

Year:

2010

Language:

english

File:

PDF, 792 KB

english, 2010

15

Sliding Wear Behavior of UNS R56400 Titanium Alloy Samples Thermally Oxidized by Laser

Martinez, Juan Manuel Vazquez, Pedemonte, Francisco J. Botana, Galvin, Marta Botana, Gomez, Jorge Salguero, Barcena, Mariano Marcos

Journal:

Year:

2017

Language:

english

File:

PDF, 11.91 MB

english, 2017

16

[Lecture Notes in Computer Science] Automated Deduction in Geometry Volume 4869 || Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

Botana, Francisco, Recio, Tomas

Year:

2007

Language:

english

File:

PDF, 400 KB

english, 2007

17

Levels of PEDF in Pleural Effusions from Lung Adenocarcinoma and Benign Disease Patients

Sánchez-Otero, Nuria, Blanco-Prieto, Sonia, Vázquez-Iglesias, Lorena, Cadena, María Páez de la, Fernández-Villar, Alberto, Botana-Rial, María Isabel, Rodríguez-Berrocal, Francisco Javier

Journal:

Disease Markers

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

18

Springback Estimation in the Hydroforming Process of UNS A92024-T3 Aluminum Alloy by FEM Simulations

Churiaque, Cristina, Sánchez-Amaya, Jose, Caamaño, Francisco, Vazquez-Martinez, Juan, Botana, Javier

Journal:

Year:

2018

Language:

english

File:

PDF, 3.33 MB

english, 2018

19

Characterization of F-actin depolymerization as a major toxic event induced by pectenotoxin-6 in neuroblastoma cells

Francisco Leira, Ana G Cabado, Mercedes R Vieytes, Yolanda Roman, Amparo Alfonso, Luis M Botana, Takeshi Yasumoto, Claudia Malaguti, Gian P Rossini

Journal:

Biochemical Pharmacology

Year:

2002

Language:

english

File:

PDF, 7.82 MB

english, 2002

20

The chemistry in air of the rare-earth-metal sesquioxides. Comparative study of hexagonal and cubic neodymia samples

Bernal, Seraf�n, Botana, Francisco J., Garc�a, Rafael, Rodr�guez-Izquierdo, Jos� M.

Journal:

Journal of the Chemical Society Dalton Transactions

Year:

1988

Language:

english

File:

PDF, 765 KB

english, 1988

21

Serum Calprotectin, CD26 and EGF to Establish a Panel for the Diagnosis of Lung Cancer

Blanco-Prieto, Sonia, Vázquez-Iglesias, Lorena, Rodríguez-Girondo, Mar, Barcia-Castro, Leticia, Fernández-Villar, Alberto, Botana-Rial, María Isabel, Rodríguez-Berrocal, Francisco Javier, de la Cadena

Journal:

Year:

2015

Language:

english

File:

PDF, 1.01 MB

english, 2015

22

A Singular web service for geometric computations

Botana, Francisco, Kovács, Zoltán

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

23

Exact internet accessible computation of paths of points in planar linkages and diagrams

Francisco Botana, Miguel A. Abánades, Jesús Escribano

Journal:

Computer Applications in Engineering Education

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

24

Study of the support evolution through the process of preparation of rhodium/lanthana catalysts

Bernal, Serafín, Botana, Francisco J., García, Rafael, Ramírez, Francisco, Rodríguez-Izquierdo, José M.

Journal:

Journal of the Chemical Society Faraday Transactions 1

Year:

1987

Language:

english

File:

PDF, 582 KB

english, 1987

25

Some issues on the automatic computation of plane envelopes in interactive environments

Botana, Francisco, Recio, Tomas

Journal:

Mathematics and Computers in Simulation

Year:

2016

Language:

english

File:

PDF, 1.30 MB

english, 2016

26

Assessment of the corrosion resistance of self-ordered anodic aluminum oxide (AAO) obtained in tartaric-sulfuric acid (TSA)

GonzÃ¡lez-Rovira, Leandro, GonzÃ¡lez-Souto, Lorena, Astola, Pedro J., Bravo-BenÃtez, Cristina, Botana, Francisco Javier

Journal:

Surface and Coatings Technology

Year:

2020

File:

PDF, 10.55 MB

2020

27

Using a free open source software to teach mathematics

Francisco Botana, Miguel A. Abánades, Jesús Escribano

Journal:

Computer Applications in Engineering Education

Year:

2012

Language:

english

File:

PDF, 412 KB

english, 2012

28

Relevance of matrix metalloproteases in non-small cell lung cancer diagnosis

Blanco-Prieto, Sonia, Barcia-Castro, Leticia, Páez de la Cadena, María, Rodríguez-Berrocal, Francisco Javier, Vázquez-Iglesias, Lorena, Botana-Rial, María Isabel, Fernández-Villar, Alberto, De Chiara,

Journal:

Year:

2017

Language:

english

File:

PDF, 339 KB

english, 2017

29

Influence of Aerospace Standard Surface Pretreatment on the Intermetallic Phases and CeCC of 2024-T3 Al-Cu Alloy

Alba-Galvín, Juan, González-Rovira, Leandro, Bethencourt, Manuel, Botana, Francisco, Sánchez-Amaya, José

Journal:

Year:

2019

File:

PDF, 4.47 MB

2019

30

Special issue on dynamic geometry and automated reasoning

Botana, Francisco, Kovács, Zoltán, Recio, Tomas

Journal:

Journal of Symbolic Computation

Year:

2020

File:

PDF, 148 KB

2020

31

Automated Generation of Equations for Linkage Loci in a Game Physics System

Abánades, Miguel Á., Botana, Francisco, Escribano, Jesús

Journal:

Technology, Knowledge and Learning

Year:

2014

Language:

english

File:

PDF, 1.19 MB

english, 2014

32

Foreword

Bigatti, Anna Maria, Botana, Francisco, Dana-Picard, Thierry, Gago, Felipe, Kotsireas, Ilias, Ladra, Manuel, Li, Wei

Journal:

Mathematics in Computer Science

Year:

2019

Language:

english

File:

PDF, 170 KB

english, 2019

33

Myocardial Rupture After Pulling Out a Tined Atrial Electrode with Continuous Traction

ANTONIO GARCÍA-JIMÉNEZ, CARLOS MANUEL, BOTANA ALBÁ, JOSÉ MANUEL, GUTIÉRREZ CORTÉS, CRISTÓBAL GALBÁN, RODRÍGUEZ ISABEL, ALVAREZ DIÉGUEZ, FRANCISCO NAVARRO PELLEJERO

Journal:

Pacing and Clinical Electrophysiology

Year:

1992

Language:

english

File:

PDF, 1.46 MB

english, 1992

34

Tribological Wear Analysis of Laser Surface Treated Ti6Al4V Based on Volume Lost Evaluation

Vázquez-Martínez, Juan Manuel, Salguero, Jorge, Botana, Francisco Javier, Gómez-Parra, Álvaro, Fernández-Vidal, Severo Raúl, Marcos, Mariano

Journal:

Key Engineering Materials

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

35

Protection by Thermal and Chemical Activation with Cerium Salts of the Alloy AA2017 in Aqueous Solutions of NaCl

Manuel Bethencourt, Francisco Javier Botana, María José Cano, Leandro González-Rovira, Mariano Marcos, José María Sánchez-Amaya

Journal:

Metallurgical and Materials Transactions A

Year:

2012

Language:

english

File:

PDF, 771 KB

english, 2012

36

Foreword to the special issue on “Nonstandard Applications of Computer Algebra (ACA’2013)”

Botana, Francisco, Hernando, Antonio, Roanes-Lozano, Eugenio, Wester, Michael J.

Journal:

Mathematics and Computers in Simulation

Year:

2016

Language:

english

File:

PDF, 121 KB

english, 2016

37

Evaluation of pleural effusion sCD26 and DPP-IV as diagnostic biomarkers in lung disease

Sánchez-Otero, Nuria, Rodríguez-Berrocal, Francisco Javier, de la Cadena, María Páez, Botana-Rial, María Isabel, Cordero, Oscar J.

Journal:

Scientific Reports

Year:

2015

Language:

english

File:

PDF, 805 KB

english, 2015

38

Synthesis of ceria-praseodimia nanotubes with high catalytic activity for CO oxidation

Leandro González Rovira, Juan José Delgado, Khadija ElAmrani, Eloy del Rio, Xiaowei Chen, José Juan Calvino, Francisco Javier Botana

Journal:

Catalysis Today

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

39

Azaspiracid-1, a potent, nonapoptotic new phycotoxin with several cell targets

Yolanda Román, Amparo Alfonso, M.Carmen Louzao, Laura A de la Rosa, Francisco Leira, Juan M Vieites, Mercedes R Vieytes, Katsuya Ofuji, Masayuki Satake, Takeshi Yasumoto, Luis M Botana

Journal:

Cellular Signalling

Year:

2002

Language:

english

File:

PDF, 627 KB

english, 2002

40

Influence of kidney or heart transplantation on the urinary excretion of epidermal growth factor

José A. Amado, Angel L. M. De-Francisco, Manuel A. Botana, Carlos Pesquera, José A. Vázquez-de-Prada, Manuel Arias

Journal:

Transplant International

Year:

1994

Language:

english

File:

PDF, 345 KB

english, 1994

41

A parametric approach to 3D dynamic geometry

Botana, Francisco

Journal:

Mathematics and Computers in Simulation

Year:

2014

Language:

english

File:

PDF, 1.88 MB

english, 2014

42

Influence of kidney or heart transplantation on the urinary excretion of epidermal growth factor

José A. Amado, Angel L. M. De-Francisco, Manuel A. Botana, Carlos Pesquera, José A. Vázquez-de-Prada, Manuel Arias

Journal:

Transplant International

Year:

1994

Language:

english

File:

PDF, 344 KB

english, 1994

43

Automatic deduction in (dynamic) geometry: Loci computation

Botana, Francisco, Abánades, Miguel A.

Journal:

Computational Geometry

Year:

2014

Language:

english

File:

PDF, 1.43 MB

english, 2014

44

Highly Sensitive Marker Panel for Guidance in Lung Cancer Rapid Diagnostic Units

Blanco-Prieto, Sonia, De Chiara, Loretta, Rodríguez-Girondo, Mar, Vázquez-Iglesias, Lorena, Rodríguez-Berrocal, Francisco Javier, Fernández-Villar, Alberto, Botana-Rial, María Isabel, de la Cadena, Ma

Journal:

Scientific Reports

Year:

2017

Language:

english

File:

PDF, 474 KB

english, 2017

45

The Role of Gold‐Alumina Template in the Electrochemical Deposition of CeO 2 Nanotubes

González‐Souto, Lorena, González‐Rovira, Leandro, Botana, Francisco Javier, Calvino, José Juan, Cauqui, Miguel Ángel, Hernández‐Garrido, Juan Carlos

Journal:

Particle & Particle Systems Characterization

Year:

2019

Language:

english

File:

PDF, 2.33 MB

english, 2019

46

Computing bisectors in a dynamic geometry environment

Botana, Francisco

Journal:

International Journal of Mathematical Education

Year:

2013

Language:

english

File:

PDF, 995 KB

english, 2013

47

Evaluation of an automated commercial ELISA method for calprotectin determination in pleural fluid

Vázquez-Iglesias, Lorena, Casado-Rey, Pedro, Botana-Rial, Maribel, Andrade-Olivié, María Amalia, Rodriguez-Berrocal, Francisco Javier, Páez de la Cadena, María, Fernández-Villar, Alberto

Journal:

Clinical Chemistry and Laboratory Medicine

Year:

2016

Language:

english

File:

PDF, 96 KB

english, 2016

48

Development and validation of a high-performance liquid chromatographic method using fluorimetric detection for the determination of the diarrhetic shellfish poisoning toxin okadaic acid without chlorinated solvents

José C González, Francisco Leira, Mercedes R Vieytes, Juan M Vieites, Ana M Botana, Luis M Botana

Journal:

Journal of Chromatography A

Year:

2000

Language:

english

File:

PDF, 124 KB

english, 2000

49

Automatic determination of envelopes and other derived curves within a graphic environment

Francisco Botana, José L. Valcarce

Journal:

Mathematics and Computers in Simulation

Year:

2004

Language:

english

File:

PDF, 506 KB

english, 2004

50

A dynamic–symbolic interface for geometric theorem discovery

Francisco Botana, José L. Valcarce

Journal:

Computers & Education

Year:

2002

Language:

english

File:

PDF, 502 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски